Validating the BISON fuel performance code to integral LWR experiments

Pyrochemical Processes for Lwr Spent Fuel

Pyrochemical processes are under development at Argonne National Laboratory for recovery of transuranium (TRU) elements from light water reactor spent fuel. The recovered TRU elements will be used as fuel in the integral fast reactor (IFR). Burning these long-lived isotopes for electrical power generation has the additional benefit of reducing the burden on the geological repository for their l...

characterisation of high-burnup LWr fueL rods through gamma tomography

On Validating an Astrophysical Simulation Code

We present a case study of validating an astrophysical simulation code. Our study focuses on validating FLASH, a parallel, adaptive-mesh hydrodynamics code for studying the compressible, reactive flows found in many astrophysical environments. We describe the astrophysics problems of interest and the challenges associated with simulating these problems. We describe methodology and discuss solut...

Testing and Validating Tests for Reproducible Experiments

which are needed for high-speed operation mode, require purchasing a license. In netmap user space applications do not have direct access to the NIC’s registers. This is a safety precaution as a misconfigured NIC can crash the whole system by corrupting memory [20]. This restriction in netmap is critical as it is designed to be included in an operating system: netmap is already part of the Free...

Experiments in validating formal semantics for C

This paper reports on the design of adequate on-machine formal semantics for a certified C compiler. This compiler is an optimizing compiler, that targets critical embedded software. It is written and formally verified using the Coq proof assistant. The main structure of the compiler is very strongly conditioned by the choice of the languages of the compiler, and also by the kind of semantics o...